Cartesian closed category - PDFSEARCH.IO - Document Search Engine

Cartesian closed category
Results: 66

#	Item
21	Theory and Applications of Categories, Vol. 28, No. 21, 2013, pp. 616–695. ENRICHED INDEXED CATEGORIES MICHAEL SHULMAN Abstract. We develop a theory of categories which are simultaneously (1) indexed over a base categ Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-08-05 12:35:00 Functors Enriched category Coproduct Cartesian closed category Monoidal functor Product Braided monoidal category Fibred category Monoid Category theory Algebra Monoidal categories
22	Theory and Applications of Categories, Vol. 26, No. 4, 2012, pp. 97–131. COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS ANDERS KOCK Abstract. It is shown how the theory of commutative monads provides an axiomatic fra Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-02-24 14:35:00 Abstract algebra Monad Universal property Strong monad Functor Coproduct Function Cartesian closed category Morphism Category theory Adjoint functors Mathematics
23	Electronic Notes in Theoretical Computer Science 82 No[removed]URL: http://www.elsevier.nl/locate/entcs/volume82.html 11 pages Comonoids in chu: a large cartesian closed sibling of topological spaces Vaughan R. Pratt1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2007-02-14 16:32:03 General topology Order theory Complete partial order Cartesian closed category Domain theory Open set Continuous function Filter Chu space Topology Mathematics Category theory
24	Functors are Type Refinement Systems Paul-André Melliès Noam Zeilberger CNRS, Université Paris Diderot Add to Reading List Source URL: noamz.org Language: English - Date: 2014-10-31 10:07:15 Category theory Monoidal categories Type theory Limit Cartesian closed category Enriched category Functor Universal property Subtype polymorphism Mathematics Abstract algebra Algebra
25	Theory and Applications of Categories, Vol. 5, No. 10, pp. 251–265. ASPECTS OF FRACTIONAL EXPONENT FUNCTORS ANDERS KOCK AND GONZALO E. REYES Transmitted by R.J. Wood Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2001-07-30 13:18:07 Sheaf theory Adjoint functors Topos Functor Monad Natural transformation Sheaf Limit Cartesian closed category Category theory Abstract algebra Mathematics
26	Two-dimensional locally cartesian closed categories Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2008-02-19 05:44:32 Sheaf theory Functors Cartesian closed category Lambda calculus Natural transformation Exponential object Adjoint functors Groupoid Yoneda lemma Category theory Abstract algebra Mathematics
27	Lecture Notes: Introduction to Categorical Logic [DRAFT: January 15, 2003] Steven Awodey Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:16 Algebraic structures Mathematical structures Mathematical logic Algebraic theory Structure Sheaf Group theory Cartesian closed category Model theory Mathematics Algebra Abstract algebra
28	Temporal logic and FRP Intuitionistic S4 categories Temporal categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-07-10 13:09:46 Declarative programming Monad Categorical logic Temporal logic Modal logic Cartesian closed category Adjoint functors Logic Mathematics
29	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE Add to Reading List Source URL: emis.library.cornell.edu Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra
30	Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-07-27 11:43:04 Category theory Model theory Order theory Monoidal categories Chu space Cartesian closed category Functor Adjoint functors Denotational semantics Mathematics Algebra Abstract algebra